Type theory

Results: 3552



#Item
641

Linear Contextual Modal Type Theory Anders Schack-Nielsen IT University of Copenhagen Copenhagen, Denmark

Add to Reading List

Source URL: www.itu.dk

- Date: 2009-01-27 05:07:00
    642

    Formalizing Refinements and Constructive Algebra in Type Theory ANDERS MÖRTBERG The defense of this thesis for the degree of Doctor of Philosophy will be held in room ED, EDIT building,

    Add to Reading List

    Source URL: gupea.ub.gu.se

    - Date: 2014-11-21 21:31:13
      643

      2-Dimensional Directed Type Theory Daniel R. Licata∗ Robert Harper∗ Carnegie Mellon University

      Add to Reading List

      Source URL: www.cs.cmu.edu

      - Date: 2011-05-26 14:50:31
        644

        Abstract Types Have Existential Type JOHN C. MITCHELL Stanford University AND GORDON D. PLOTKIN

        Add to Reading List

        Source URL: theory.stanford.edu

        Language: English - Date: 2004-04-23 19:16:41
          645

          On the 1-type of Waldhausen K -theory F. Muro1 1 Max-Planck-Institut 2 London A. Tonks2

          Add to Reading List

          Source URL: mate.dm.uba.ar

          Language: English - Date: 2006-09-13 10:54:10
            646

            Constructivist Theory of Learning. Interaction 18(2): 28. Research Area: Type of Publication: Authors:

            Add to Reading List

            Source URL: www.parlonssciences.ca

            - Date: 2014-07-21 10:40:54
              647

              MATH 245 CLASS 2.5 (DAN EDIDIN): CRASH COURSE IN INTERSECTION THEORY TRANSCRIBED BY RAVI VAKIL Reference: Fulton Chapter 2. Throughout, X is finite type over a field k.

              Add to Reading List

              Source URL: math.stanford.edu

              Language: English - Date: 2015-01-10 21:22:31
                648

                Introduction Homotopy Type Theory The idea of HITs The fundamental group of the circle Computing transportations

                Add to Reading List

                Source URL: www.cs.ru.nl

                Language: English - Date: 2013-05-15 03:20:54
                  649

                  Canonicity for 2-Dimensional Type Theory Daniel R. Licata∗ Robert Harper ∗ Carnegie Mellon University

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  Language: English - Date: 2012-06-25 09:14:22
                    650

                    BRICS Basic Research in Computer Science BRICS RSD. Fridlender: An Interpretation of the Fan Theorem in Type Theory An Interpretation of the Fan Theorem in

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1999-03-25 08:33:16
                      UPDATE